boxpointer: Queue relayout after updating arrow side

We currently queue a repaint after setting a new arrow side, but
that seems insufficient - moving the arrow from top/bottom to the
left/right for example may very well affect the layout, plus the
arrow may need flipping due to size constraints (which happens
on allocation).

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/4120>

diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index 0c322a1cb271b840d74539df95a48d94e1cde5b9..11aa20059565633444f6824fa462e4715d9db7d7 100644 (file)
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -667,7 +667,7 @@ export const BoxPointer = GObject.registerClass({
 
     updateArrowSide(side) {
         this._arrowSide = side;
-        this._border.queue_repaint();
+        this.queue_relayout();
 
         this.emit('arrow-side-changed');
     }